Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams

CRISTAL

• Title: Resource Control by Semantic Interpretations and Linear Proof Theory

• Inria principal investigator: Romain Péchoux

• International Partner (Institution - Laboratory - Researcher):

  • Universita degli Studi di Torino (Italy) - Dipartimento di informatica

• Duration: 2010 - 2012

• See also: http://carte.loria.fr/index.php?option=com_content&view=article&id=61&Itemid=75

• Topic: resource control using semantics interpretations and linear proof theory.

Participation In International Programs

Mathieu Hoyrup is the principal investigator of a Partenariat Hubert Curien Imhotep 2011-2012 together with Walid Gooma, University of Alexandria, Egypt.